]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 732ba85) | patch
Convert border_width, border_radius to integers
authorColin Walters <walters@verbum.org>
Thu, 11 Feb 2010 02:10:49 +0000 (21:10 -0500)
committerColin Walters <walters@verbum.org>
Mon, 8 Mar 2010 21:46:47 +0000 (16:46 -0500)
commit3333f30c425c8dfb02c56dc6e57c7877e3379f16
treeb2bda546e314631c033c0971dc71784310d298e4tree | snapshot
parent732ba8576d643dc8bb3d90e3e2868cc317def01acommit | diff
Convert border_width, border_radius to integers

This saves the consumers from having to deal with rounding.

https://bugzilla.gnome.org/show_bug.cgi?id=607500
src/st/st-theme-node.c diff | blob | history
src/st/st-theme-node.h diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.